Standardize the plonky2 circuits by recursively verifying. Including method to save for the gnark verifier.

To see the example, first run:

RUST_LOG="debug" cargo test --release test_wrapper -- --show-output

Then in the plonky2x-verifier folder:

1. To test the groth16 circuit with mock setup:

go run . -circuit test_circuit --test

2. To compile the circuit and save to disk:

go run . -circuit test_circuit --compile

3. To make and verify a proof (and save to disk)

go run . -circuit test_circuit --prove

4. To verify a proof (loaded from disk)

go run . -circuit test_circuit --verify